Directed acyclic graph - PDFSEARCH.IO - Document Search Engine

Directed acyclic graph
Results: 287

#	Item
161	Improvements to Technology Mapping for LUT-Based FPGAs Alan Mishchenko Satrajit Chatterjee Robert Brayton Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-02-27 22:53:37 Diagrams And-inverter graph Logic synthesis Field-programmable gate array Directed acyclic graph Algorithm Heuristic function Electronic engineering Electronic design automation Electrical engineering
162	DAG-Aware AIG Rewriting A Fresh Look at Combinational Logic Synthesis Alan Mishchenko Satrajit Chatterjee Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-05-08 11:02:22 Digital electronics Electronic design Logic in computer science And-inverter graph Logic synthesis Field-programmable gate array American International Group Directed acyclic graph Logic gate Electronic engineering Electronic design automation Formal methods
163	Improvements to Technology Mapping for LUT-Based FPGAs Alan Mishchenko Satrajit Chatterjee Robert Brayton Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-10-04 01:10:16 R-tree Static single assignment form Heuristic function Tree traversal Graph theory Tree decomposition Directed acyclic graph
164	Inductively Finding a Reachable State Space Over-Approximation Michael L. Case Alan Mishchenko Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-05-01 16:01:54 Graph connectivity Diagrams Models of computation Directed acyclic graph Transitive closure Reachability Unreachable memory Model checking Connected component Graph theory Mathematics Theoretical computer science
165	WireMap: FPGA Technology Mapping for Improved Routability and Enhanced LUT Merging STEPHEN JANG, BILLY CHAN, and KEVIN CHUNG Xilinx Inc. and Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-06-18 14:34:18 Combinatorial optimization Connectivity And-inverter graph Field-programmable gate array A* search algorithm Directed acyclic graph Graph theory Electronic engineering Mathematics
166	Simplification of Non-Deterministic Multi-Valued Networks Alan Mishchenko ECE Dept. Portland State University, Portland, OR [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-07-24 15:20:02 Science Diagrams Canonical form Boolean network Directed acyclic graph Influence diagram Algorithm Applied mathematics Logic Algebraic logic Mathematics
167	Greenland_Bias and EMM.ppt.ppt Add to Reading List Source URL: www.ccsem.infn.it Language: English - Date: 2013-10-15 03:51:00 Causality Conditionals Philosophy of science Political geography Directed acyclic graph Epidemiology Causal diagram Greenland Science Diagrams Health
168	Combinational and Sequential Mapping with Priority Cuts Alan Mishchenko Sungmin Cho Satrajit Chatterjee Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-08-14 15:34:24 Electrical engineering And-inverter graph Diagrams Electronic design automation Search algorithms Retiming Field-programmable gate array Directed acyclic graph A* search algorithm Electronic engineering Formal methods Graph theory
169	Pebbling and Proofs of Work Cynthia Dwork1 , Moni Naor2? , and Hoeteck Wee3?? 1 Microsoft Research, Silicon Valley Campus, [removed] 2 Add to Reading List Source URL: www.iacr.org Language: English - Date: 2008-09-15 00:54:54 Computational complexity theory Graph pebbling CPU cache Directed acyclic graph Connectivity Randomized algorithm Theoretical computer science Mathematics Applied mathematics
170	Fast Algorithms for Dyck-CFL-Reachability with Applications to Alias Analysis Qirun Zhang Michael R. Lyu Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2013-04-17 03:56:46 Reachability Graph Graphical models Network theory Topological sorting Directed acyclic graph Graph theory Mathematics Graph connectivity

UPDATE